Widening Construction of Wakato Ohashi Bridge -Focussing Concrete Anchorage

Focussing and proof construction

This paper proposes a synthetic presentation of the Proof Construction paradigm, which underlies most of the research and development in the so-called “logic programming” area. Two essential aspects of this paradigm are discussed here: true nondeterminism et partial information. A new formulation of Focussing, the basic property used to deal with non-determinism in proof construction, is presen...

Construction of Bipolar Focussing Proof Structures∗

This work takes a further step towards the development of a research programme, launched by Andreoli in 2001 (see [1], [2] and [3]), which aims at a theoretical foundation of a computational programming paradigm based on the construction of proofs of linear logic (LL, [9]). Naively, this paradigm relies on the following isomorphism: proof = state and construction step (or inference) = state tra...

Design and Construction of a Reinforcement Free Concrete Bridge Deck on Precast Bulb Tee Girders

This presentation describes the concepts involved in design and construction of a reinforcement-free bridge deck intended to provide cost effective, durable and more rapid construction for highway bridges. The new wide flanged or bulb tee precast prestressed concrete girder sections currently used in bridges allow for a shorter effective span for the bridge deck because of the wide girder flang...

Instrumentation, Modeling and Monitoring of a Concrete Bridge from Construction through Service

Seismic Vulnerability assessment of concrete railway bridge using nonlinear analyses

Bridges, as an essential part of transportation system, play a special role in economy, politic and military all around the world. Serviceability of bridges is of high importance especially in emergencies, helping injured people and proportioning transportation after earthquakes. Earthquake regulation codes, normally suggest linear methods to conduct the analysis, and nonlinear analysis is bare...